Arithmetic for CAT